package at.tasat.solver;

public abstract class QueueFactory {
	public abstract String getName();
	public abstract Queue create(int numVariables, VariableOccurencesList occurencesList);
	
	public Queue clone(Queue queue, VariableOccurencesList occurencesList) {
		Queue clonedQueue = create(queue.getNumVariables(), occurencesList);
		queue.copy(clonedQueue);
		return clonedQueue;
	}
}
